Manifold gładka

Manifold gładka (ang. smooth manifold) to rodzaj manifoldu (przestrzeni różniczkowej), w którym struktura topologiczna jest uzupełniona o dodatkową strukturę umożliwiającą różniczkowanie funkcji. Manifoldy gładkie stanowią podstawę współczesnej geometrii oraz teorii układów dynamicznych.

Definicja

Niech przestrzeń topologiczna M będzie Hausdorffa oraz drugiego typu (ang. second‑countable). Mówimy, że M jest manifoldem gładkim, jeśli istnieje rodzina par (U_i, φ_i), zwana atlasem, spełniająca następujące warunki:

U_i są otwartymi zbiorami w M i pokrywają całą przestrzeń (⋃_i U_i = M).
Każde φ_i : U_i → ℝ^n (gdzie n jest stałe dla wszystkich i) jest homeomorfizmem na otwarty podzbiór ℝ^n.
Dla każdego przecięcia U_i ∩ U_j ≠ ∅ przejścia zmiennych φ_j ◦ φ_i^{-1} : φ_i(U_i ∩ U_j) → φ_j(U_i ∩ U_j) są klasy funkcjami gładkimi (n nieskończenie różniczkowalnymi).

Zbiór wszystkich map φ_i tworzy atlas gładki. Dwóch atlasów są równoważnych, jeżeli ich połączenie również spełnia warunek 3. Klasa równoważności atlasów jest nazywana strukturą gładką na M.

Przykłady

Sfera S^n – standardowy przykład manifoldu gładkiego, otrzymany z atlasu kartezjańskiego.
Tor T^2 – iloczyn kartezjański dwóch okręgów; ma naturalną strukturę gładką.
ℝ^n – najprostszy manifold gładki, z jedyną mapą identycznościową.
Grupa Lie – grupa, będąca jednocześnie manifoldem gładkim, w której mnożenie i odwracanie są gładkimi odwzorowaniami.

Właściwości

Manifoldy gładkie zachowują wiele własności typowych dla przestrzeni euklidesowych:

Istnieją wektory styczne w każdym punkcie, tworzące przestrzeń wektorową wymiaru n.
Można definiować pola wektorowe, formy różniczkowe oraz pochodne zewnętrzne (d).
Dzięki gładkości można formułować i rozwiązywać równania różniczkowe na manifoldach.
Wprowadza się pojęcie metryki riemannowskiej, co prowadzi do geometrii różniczkowej.

Operacje konstrukcyjne

Z manifoldami gładkimi można tworzyć nowe obiekty przy pomocy kilku standardowych operacji:

Suma rozłączna – połączenie dwóch manifoldów gładkich bez punktów wspólnych.
Produkt – jeśli M i N są gładkie, to M × N jest gładkim manifoldem o wymiarze dim M + dim N.
Podmanifold – podzbiór P ⊂ M jest podmanifoldem, jeśli w każdym punkcie ma otoczenie diffeomorficzne z otwartym podzbiorem ℝ^k, gdzie k ≤ dim M.
Stosowanie quotienta – np. grupa Lie działa płynnie i swobodnie na manifoldie, a iloraz jest ponownie manifoldem gładkim.

Kluczowe pojęcia powiązane

W kontekście manifoldów gładkich pojawiają się następujące pojęcia, które zasługują na osobne artykuły:

Atlas i atlas gładki
Różniczkowanie na manifoldach
Diffeomorfizm – gładkie bijekcje z gładką odwrotnością
Płaszczyzna styczna i płaszczyzna normalna
Formy różniczkowe oraz ich całkowanie (twierdzenie Stokesa)
Topologia – pojęcia otwartości, spójności i zwartości w kontekście manifoldów
Metrika riemannowska – struktura dodatkowa pozwalająca mierzyć odległości i kąty

Historia

Pojęcie manifoldu gładkiego wyłoniło się pod koniec XIX i na początku XX wieku w pracach takich jak Hermann Cartan oraz Élie Cartan. W latach 1900‑1910 rozwijał je Georg Freeman, a później w latach 1930‑tych zostało ugruntowane w ramach geometrii różniczkowej dzięki pracom John Lee i John Nash.

Zastosowania

Manifoldy gładkie są używane w wielu dziedzinach nauki i techniki:

W fizyce teoretycznej – jako model czasoprzestrzeni w ogólnej teorii względności (GR).
W mechanice klasycznej – fazowa przestrzeń układów mechanicznych jest manifoldem symplektycznym.
W robotyce – konfiguracje robotów opisuje się jako manifold koszykowy.
W uczeniu maszynowym – pojęcie manifoldu pojawia się w analizie wymiarowości danych (manifold learning).

Literatura

J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013.
R. Abraham, J. E. Marsden, Foundations of Mechanics, Addison‑Wesley, 1978.
W. Frankel, The Geometry of Physics, Cambridge University Press, 2011.